$\forall$$X$:($\mathbb{N}\rightarrow\mathbb{Q}$), $a$:$\mathbb{Q}$, $k$:$\mathbb{N}$, $y$:($\mathbb{Q}$ List).
\\[0ex]($k$ $\leq$ $\parallel$$y$$\parallel$) $\Rightarrow$ (q{-}linear($k$;$j$.$a$ $\ast$ $X$($j$);$y$) = ($a$ $\ast$ q{-}linear($k$;$j$.$X$($j$);$y$)) $\in$ $\mathbb{Q}$)